Describing the Syntax and Semantics of UML Statecharts in a Heterogeneous Modelling Environment
نویسندگان
چکیده
In this paper UML statechart diagrams are used as an example of a generic approach to integrating a visual language in a heterogeneous modelling and simulation environment. A system represented in a visual language is syntactically defined as an attributed graph, with well-formedness rules specified by a set of first-order predicates over the abstract syntax of the graph. The language semantics are specified by an Abstract State Machine (ASM) parameterized with syntactically-correct attributed graphs. In this paper the key issues in the definition of UML statechart semantics are highlighted.
منابع مشابه
Towards a Formal Operational Semantics of UML Statechart Diagrams
Statechart Diagrams are a notation for describing behaviours in the framework of UML, the Unified Modeling Language of object-oriented systems. UML is a semi-formal language, with a precisely defined syntax and static semantics but with an only informally specified dynamic semantics. UML Statechart Diagrams differ from classical statecharts, as defined by Harel, for which formalizations and res...
متن کاملA Metamodel for Object-Oriented Statecharts
syntax static semantics dynamic semantics UML approach class diagrams OCL natural language Object-Z approach Object-Z class specs Object-Z predicates Object-Z operation & class diagrams in class specs specs Figure 4: Comparison of UML and Object-Z approach entities. We use Object-Z as a single formalism for the abstract syntax, the static semantics and the dynamic semantics. 1.5 Comparison to t...
متن کاملOn the Formal Semantics of VisualSTATE Statecharts
This paper presents a formal semantics of statecharts – a visual language successfully employed in design of control algorithms. Our formalization is implementation oriented, with efficiency in the focus. It has been used as a specification in development of scope, an experimental code generator for embedded systems. The version of statecharts we describe is that implemented in commercial devel...
متن کاملReconciling statechart semantics
Statecharts are a visual technique for modelling reactive behaviour. Over the years, a plethora of statechart semantics have been proposed. The three most widely used are the fixpoint, Statemate, and UML semantics. These three semantics differ considerably from each other. In general, they interpret the same statechart differently, which impedes the communication of statechart designs among bot...
متن کاملA Meta-Model Semantics for Structural Constraints In UML
The UML standard has adopted a meta-modelling approach to defining the abstract syntax of UML. A meta-modelling approach is taken essentially to aid the construction of automated tools, but the semantics is defined by statements in English. A meta-model that incorporates precise semantics would support the construction of tools that could perform semantically-oriented tasks, such as consistency...
متن کامل